1

Universality of R-automata with Value Copying

Year:
2009
Language:
english
File:
PDF, 279 KB
english, 2009
2

Distributed Explicit Bounded LTL Model Checking

Year:
2003
Language:
english
File:
PDF, 198 KB
english, 2003
3

Task automata: Schedulability, decidability and undecidability

Year:
2007
Language:
english
File:
PDF, 337 KB
english, 2007